New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

It is well known that the variable ordering can be critical to the efficiency or even tractability of the cylindrical algebraic decomposition (CAD) algorithm. We propose new heuristics inspired by complexity analysis of CAD to choose the variable ordering. These heuristics are evaluated against existing heuristics with experiments on the SMT-LIB benchmarks using both existing performance metrics and a new metric we propose for the problem at hand. The best of these new heuristics chooses orderings that lead to timings on average 17% slower than the virtual-best: an improvement compared to the prior state-of-the-art which achieved timings 25% slower

Garantías estadísticas para métodos de aprendizaje con penalización l1

Esta memoria está a centrada en el estudio del estimador lasso y en la obtención de garantías estadísticas sobre el mismo, en particular garantías sobre su capacidad de predicción y cuando sea posible sobre su capacidad de aproximación de la solución real. Se distinguen en los capítulos posteriores dos clases de garantías, garantías generales que permiten asegurar la consistencia del estimador en escenarios genéricos y garantías bajo dispersión estadística válidas cuando el conjunto S0 es pequeño. El último capítulo de esta memoria se dedica a proporcionar las garantías estadísticas asociadas a reglas de aprendizaje automático obtenidas mediante la penalización l1 con funciones de pérdida convexas generales.Departamento de Estadística e Investigación OperativaMáster en Investigación en Matemática

Fundamentos y aplicaciones de la teoría de aprendizaje estadístico

La introducción del perceptrón por Rosenblatt en los 60 fue el punto de partida del aprendizaje estadístico: se trata del primer ejemplo de algoritmo mediante el cual un ordenador, a partir de la observación de una serie de datos (ejemplos) podía llegar a aprender, es decir, a distinguir sin error la etiqueta no observada de un nuevo caso. Desde entonces se ha desarrollado una considerable teoría matemática tratando de formular convenientemente cuestiones tales como: ¿qué es aprender, ¿qué tareas son aprendibles?, ¿cómo podemos hacer que los ordenadores aprendan de la mejor forma posible? En este trabajo se plantea el estudio de la teoría de aprendizaje estadístico desarrollada a partir de las ideas de V. Vapnik. Se analizarán las diferentes caracterizaciones del aprendizaje probablemente aproximadamente correcto (PAC), así como las posibilidades y limitaciones de las reglas basadas en minimización del riesgo empírico o de minimización del riesgo estructural. Como aplicación se analizará el rendimiento de algunas reglas de clasificación binaria basadas en estructuras lineales, incluyendo la discriminación logística, las máquinas de soporte vectorial o las redes neuronales.Grado en Matemática

Disentangling the life-cycles of Bronze Age pits: a multi-stranded approach, integrating ceramic refitting, archaeobotany and taphonomy

Pits are the most common archaeological features in late prehistoric Europe, yet their function and formation dynamics remain obscure. This paper draws on stratigraphy, contextual observations, and a novel analytical protocol to address such topics. The article presents an interdisciplinary and comparative post-excavation procedure to evaluate some of the most abundant items found in prehistoric pits, combining a taphonomical approach to the analysis of ceramics, charcoal, and carpology. This procedure provided new insights into the use-lives of a selection of five pits from an open-air site in Galicia (NW Iberia), which was occupied intermittently during the second millennium cal. BCE. An early use as silos is posited, and their final closure entailed cultural practices and preferences whose material fingerprint has been identified via multivariate analysis.One of the radiocarbon dates of Monte das Cabanas was financed by GEPN-AAT and the other two by the Environmental Archaeology (ENVARCH) group of the CIBIO/InBio. María Martín-Seijo was funded by a Post-Doc Grant Plan I2Cmod. A with the project “Alén do bosque na Idade do Bronce do Noroeste da Ibéria. Estudo dos combustibles e das manufacturas en madeira a partir da cadea técnico-operativa”. Ana MS Bettencourt developed this work under the project Funerary and ceremonial practices between the Neolithic to the Bronze Age approached by Archaeometry (ARQUEOM Project Lab2PT Sept 2014).info:eu-repo/semantics/publishedVersio